On Diophantine Sets over Polynomial Rings
نویسنده
چکیده
We prove that the recursively enumerable relations over a polynomial ring R[t], where R is the ring of integers in a totally real number field, are exactly the Diophantine relations over R[t].
منابع مشابه
Extensions of Hilbert's Tenth Problem
Lectures Two types of lectures were programmed into the schedule. First there were a number of introductory lectures which were were meant to introduce non-specialist into the area of Hilbert’s Tenth Problem. Since quite a few of the participants came from different backgrounds this was an ideal way to get a feeling of the problems which come up in this area of mathematics. The second type of l...
متن کاملThe Diophantine Problem for Polynomial Rings and Fields of Rational Functions1
We prove that the diophantine problem for a ring of polynomials over an integral domain of characteristic zero or for a field of rational functions over a formally real field is unsolvable.
متن کاملDefining Integrality at Prime Sets of High Density in Number Fields
1. Introduction. Interest in the questions of Diophantine definability and decid-ability goes back to a question that was posed by Hilbert: Given an arbitrary polynomial equation in several variables over Z, is there a uniform algorithm to determine whether such an equation has solutions in Z? This question, otherwise known as Hilbert's tenth problem, has been answered negatively in the work of...
متن کاملOn Existential Definitions of C.e. Subsets of Rings of Functions of Characteristic 0
We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2) Every c.e. set of integers has a finite-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (3) All c.e. s...
متن کاملDiophantine Sets of Polynomials over Number Fields
Let R be a number field or a recursive subring of a number field and consider the polynomial ring R[T ]. We show that the set of polynomials with integer coefficients is diophantine over R[T ]. Applying a result by Denef, this implies that every recursively enumerable subset of R[T ]k is diophantine over R[T ].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999